Paperless Independently-Verifiable Voting
نویسندگان
چکیده
We present a new model for polling-booth voting: the voter enters the polling booth with a computational assistant which helps her verify that her vote is correctly recorded. The assistant interacts with the voting system while the voter votes on the machine in the polling booth. We present an independentlyverifiable, coercion-resistant protocol based on this model. Unlike all other independently-verifiable protocols, this one is completely paperless and does not require the voter to perform any tasks outside the polling booth. We provide property definitions, rigorous claims and a description of a prototype.
منابع مشابه
Works in Progress : Trustworthy Cryptographic Voting Systems
After a statistical tie in the 2000 presidential election exposed flaws in U.S. voting systems, Congress funneled money to states for mandated upgrades of voting technology. The most popular upgrade—electronic voting machines—comes with problems of its own, however. The fundamental problem, researchers say, is that without an independent record of voters’ actions, a complex computer program can...
متن کاملPractical Attacks on Cryptographically End-to-end Verifiable Internet Voting Systems
Cryptographic end-to-end verifiable voting technologies concern themselves with the provision of a more trustworthy, transparent, and robust elections. To provide voting systems with more transparency and accountability throughout the process while preserving privacy which allows voters to express their true intent. Helios Voting is one of these systems—an online platform where anyone can easil...
متن کاملEnd-to-end veriable voting with Prêt à Voter
Transparent and verifiable elections can be achieved by end-to-end verifiable electronic voting systems. The purpose of such systems is to enable voters to verify the inclusion of their vote in the final tally while keeping the votes secret. Achieving verifiability and secrecy at the same time is hard and this thesis explores the properties of verifiable electronic voting systems and describes ...
متن کاملCOMPUTING SCIENCE Verifiable Classroom Voting: Where Cryptography Meets Pedagogy
In this paper, we propose and have implemented the first verifiable classroom voting system. The subject of secure classroom voting has so far received almost no attention from the security community. Though several commercial classroom voting systems have been available, none of them is verifiable. State-of-the-art verifiable voting protocols all rely on finding a set of trustworthy tallying a...
متن کاملWritten and Produced by Galois the Future of Voting End - to - End Verifiable Internet Voting Specification and Feasibility Assessment Study
INTRODUCTION Societies have conducted elections for thousands of years, but technologies used to cast and tally votes have varied and evolved tremendously over that time. In 2015 many of our essential services have moved online, and some people want elections to follow this trend. Overseas voters are particularly interested in an online approach, as their voting processes can require additional...
متن کامل